[prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 879

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 95 502 0 188 0 0 87

N.S.

1 1.00 0.86 4.52 0.00 1.69 0.00 0.00 0.78

time (sec)

N/A 0.069 0.210 0.352 0.000 1.132 0.000 0.000 1.696

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 113 398 0 195 0 0 135

N.S.

1 1.00 0.71 2.49 0.00 1.22 0.00 0.00 0.84

time (sec)

N/A 0.151 0.515 0.186 0.000 1.008 0.000 0.000 1.313

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 98 362 0 180 0 0 128

N.S.

1 1.00 0.73 2.68 0.00 1.33 0.00 0.00 0.95

time (sec)

N/A 0.137 0.399 0.169 0.000 0.703 0.000 0.000 1.191

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 79 357 0 162 0 0 102

N.S.

1 1.00 0.78 3.53 0.00 1.60 0.00 0.00 1.01

time (sec)

N/A 0.121 0.205 0.168 0.000 0.954 0.000 0.000 1.110

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 64 283 0 147 0 0 76

N.S.

1 1.00 0.89 3.93 0.00 2.04 0.00 0.00 1.06

time (sec)

N/A 0.109 0.112 0.168 0.000 0.689 0.000 0.000 1.046

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 62 202 0 178 0 0 81

N.S.

1 1.00 0.91 2.97 0.00 2.62 0.00 0.00 1.19

time (sec)

N/A 0.107 0.208 0.173 0.000 0.504 0.000 0.000 1.398

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 73 513 0 198 0 0 108

N.S.

1 1.00 0.77 5.40 0.00 2.08 0.00 0.00 1.14

time (sec)

N/A 0.118 0.407 0.276 0.000 0.632 0.000 0.000 1.520

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 124 633 0 223 0 0 113

N.S.

1 1.00 0.92 4.69 0.00 1.65 0.00 0.00 0.84

time (sec)

N/A 0.130 0.255 0.372 0.000 0.412 0.000 0.000 1.666

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 142 689 0 235 0 0 113

N.S.

1 1.00 0.89 4.31 0.00 1.47 0.00 0.00 0.71

time (sec)

N/A 0.143 0.363 0.464 0.000 0.616 0.000 0.000 1.789

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 137 470 0 227 0 0 178

N.S.

1 1.00 0.71 2.42 0.00 1.17 0.00 0.00 0.92

time (sec)

N/A 0.214 0.641 0.202 0.000 1.249 0.000 0.000 1.344

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 110 421 0 205 0 0 146

N.S.

1 1.00 0.69 2.65 0.00 1.29 0.00 0.00 0.92

time (sec)

N/A 0.204 0.493 0.189 0.000 0.742 0.000 0.000 1.219

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 84 412 0 185 0 0 125

N.S.

1 1.00 0.72 3.55 0.00 1.59 0.00 0.00 1.08

time (sec)

N/A 0.176 0.264 0.170 0.000 0.794 0.000 0.000 1.180

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 87 303 0 214 0 0 124

N.S.

1 1.00 0.69 2.40 0.00 1.70 0.00 0.00 0.98

time (sec)

N/A 0.178 0.408 0.203 0.000 0.709 0.000 0.000 1.241

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 84 630 0 222 0 0 128

N.S.

1 1.00 0.71 5.34 0.00 1.88 0.00 0.00 1.08

time (sec)

N/A 0.169 0.788 0.313 0.000 0.777 0.000 0.000 2.097

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 125 711 0 244 0 0 156

N.S.

1 1.00 0.84 4.77 0.00 1.64 0.00 0.00 1.05

time (sec)

N/A 0.188 0.625 0.385 0.000 0.582 0.000 0.000 2.167

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 177 820 0 270 0 0 147

N.S.

1 1.00 0.91 4.23 0.00 1.39 0.00 0.00 0.76

time (sec)

N/A 0.216 0.552 0.483 0.000 0.682 0.000 0.000 2.240

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 226 668 0 0 0 0 -1

N.S.

1 1.00 1.49 4.39 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.414 11.047 0.204 0.000 0.000 0.000 0.000 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 158 552 0 0 0 0 -1

N.S.

1 1.00 1.41 4.93 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.274 11.094 0.176 0.000 0.000 0.000 0.000 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 81 226 0 0 0 0 -1

N.S.

1 1.00 1.08 3.01 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.172 10.198 0.149 0.000 0.000 0.000 0.000 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 48 187 0 0 0 0 -1

N.S.

1 1.00 0.91 3.53 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.135 0.052 0.141 0.000 0.000 0.000 0.000 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 29 150 0 0 0 0 -1

N.S.

1 1.00 1.00 5.17 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.093 0.058 0.134 0.000 0.000 0.000 0.000 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 195 353 0 0 0 0 -1

N.S.

1 1.00 2.53 4.58 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.153 11.964 0.175 0.000 0.000 0.000 0.000 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 210 423 0 0 0 0 -1

N.S.

1 1.00 1.64 3.30 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.372 12.618 0.329 0.000 0.000 0.000 0.000 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 266 1064 0 0 0 0 -1

N.S.

1 1.00 1.09 4.36 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.510 11.236 0.369 0.000 0.000 0.000 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 252 809 0 0 0 0 -1

N.S.

1 1.00 1.37 4.40 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.337 11.179 0.333 0.000 0.000 0.000 0.000 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 194 788 0 0 0 0 -1

N.S.

1 1.00 1.16 4.72 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.296 12.572 0.317 0.000 0.000 0.000 0.000 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 229 707 0 0 0 0 -1

N.S.

1 1.00 1.55 4.78 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.287 12.070 0.291 0.000 0.000 0.000 0.000 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 239 608 0 0 0 0 -1

N.S.

1 1.00 1.55 3.95 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.321 12.314 0.299 0.000 0.000 0.000 0.000 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 278 841 0 0 0 0 -1

N.S.

1 1.00 1.27 3.84 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.494 12.026 0.383 0.000 0.000 0.000 0.000 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 353 2216 0 0 0 0 -1

N.S.

1 1.00 1.02 6.40 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.751 12.336 0.710 0.000 0.000 0.000 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 311 1957 0 0 0 0 -1

N.S.

1 1.00 1.10 6.94 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.573 11.845 0.744 0.000 0.000 0.000 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 286 1936 0 0 0 0 -1

N.S.

1 1.00 1.09 7.36 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.482 11.841 0.640 0.000 0.000 0.000 0.000 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 272 1858 0 0 0 0 -1

N.S.

1 1.00 1.11 7.55 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.455 11.335 0.612 0.000 0.000 0.000 0.000 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 289 1760 0 0 0 0 -1

N.S.

1 1.00 1.14 6.96 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.512 11.875 0.623 0.000 0.000 0.000 0.000 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 297 1203 0 0 0 0 -1

N.S.

1 1.00 1.16 4.72 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.531 11.867 0.379 0.000 0.000 0.000 0.000 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

328 328 334 1987 0 0 0 0 -1

N.S.

1 1.00 1.02 6.06 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.710 12.276 0.758 0.000 0.000 0.000 0.000 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

244 244 340 1726 0 453 0 0 -1

N.S.

1 1.00 1.39 7.07 0.00 1.86 0.00 0.00 -0.00

time (sec)

N/A 0.468 5.706 1.295 0.000 1.077 0.000 0.000 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 273 1011 0 415 0 0 -1

N.S.

1 1.00 1.42 5.27 0.00 2.16 0.00 0.00 -0.01

time (sec)

N/A 0.305 5.361 0.236 0.000 0.786 0.000 0.000 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 198 923 0 355 0 0 -1

N.S.

1 1.00 2.96 13.78 0.00 5.30 0.00 0.00 -0.01

time (sec)

N/A 0.109 2.276 0.214 0.000 0.857 0.000 0.000 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 14885 257 0 0 0 0 -1

N.S.

1 1.00 107.86 1.86 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.285 26.986 0.187 0.000 0.000 0.000 0.000 0.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

237 237 23549 781 0 0 0 0 -1

N.S.

1 1.00 99.36 3.30 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.484 28.892 0.222 0.000 0.000 0.000 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

303 303 383 2040 0 491 0 0 -1

N.S.

1 1.00 1.26 6.73 0.00 1.62 0.00 0.00 -0.00

time (sec)

N/A 0.645 6.168 0.220 0.000 1.794 0.000 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

240 240 344 1697 0 455 0 0 -1

N.S.

1 1.00 1.43 7.07 0.00 1.90 0.00 0.00 -0.00

time (sec)

N/A 0.485 5.355 0.184 0.000 0.951 0.000 0.000 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 284 1209 0 415 0 0 -1

N.S.

1 1.00 1.52 6.47 0.00 2.22 0.00 0.00 -0.01

time (sec)

N/A 0.329 4.053 0.239 0.000 1.244 0.000 0.000 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

209 209 25369 1361 0 0 0 0 -1

N.S.

1 1.00 121.38 6.51 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.406 27.903 0.197 0.000 0.000 0.000 0.000 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

249 249 24604 1205 0 0 0 0 -1

N.S.

1 1.00 98.81 4.84 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.532 29.525 0.224 0.000 0.000 0.000 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

299 299 36737 1742 0 0 0 0 -1

N.S.

1 1.00 122.87 5.83 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.702 30.944 0.188 0.000 0.000 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

363 363 477 2778 0 531 0 0 -1

N.S.

1 1.00 1.31 7.65 0.00 1.46 0.00 0.00 -0.00

time (sec)

N/A 0.916 11.017 0.283 0.000 1.047 0.000 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

303 303 386 2040 0 491 0 0 -1

N.S.

1 1.00 1.27 6.73 0.00 1.62 0.00 0.00 -0.00

time (sec)

N/A 0.717 8.133 0.224 0.000 0.975 0.000 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

239 239 358 1921 0 454 0 0 -1

N.S.

1 1.00 1.50 8.04 0.00 1.90 0.00 0.00 -0.00

time (sec)

N/A 0.539 7.797 0.195 0.000 1.195 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

262 262 36372 1651 0 0 0 0 -1

N.S.

1 1.00 138.82 6.30 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.599 31.928 0.176 0.000 0.000 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

263 263 20828 1947 0 0 0 0 -1

N.S.

1 1.00 79.19 7.40 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.580 30.611 0.178 0.000 0.000 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

314 314 52888 1972 0 0 0 0 -1

N.S.

1 1.00 168.43 6.28 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.795 31.359 0.204 0.000 0.000 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

369 369 61979 2285 0 0 0 0 -1

N.S.

1 1.00 167.96 6.19 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.975 31.612 0.223 0.000 0.000 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

249 249 340 1725 0 456 0 0 -1

N.S.

1 1.00 1.37 6.93 0.00 1.83 0.00 0.00 -0.00

time (sec)

N/A 0.437 5.762 0.196 0.000 1.592 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 265 1014 0 415 0 0 -1

N.S.

1 1.00 1.36 5.20 0.00 2.13 0.00 0.00 -0.01

time (sec)

N/A 0.313 4.868 0.226 0.000 0.737 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 216 732 0 355 0 0 -1

N.S.

1 1.00 1.52 5.15 0.00 2.50 0.00 0.00 -0.01

time (sec)

N/A 0.232 2.578 0.216 0.000 0.905 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 102 145 0 146 0 0 -1

N.S.

1 1.00 1.52 2.16 0.00 2.18 0.00 0.00 -0.01

time (sec)

N/A 0.112 0.543 0.190 0.000 0.730 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

68 68 5763 222 0 0 0 0 -1

N.S.

1 1.00 84.75 3.26 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.171 27.089 0.174 0.000 0.000 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

246 246 21698 985 0 0 0 0 -1

N.S.

1 1.00 88.20 4.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.476 28.263 0.218 0.000 0.000 0.000 0.000 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

312 312 51323 1744 0 0 0 0 -1

N.S.

1 1.00 164.50 5.59 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.665 31.497 0.192 0.000 0.000 0.000 0.000 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

360 360 419 1851 0 702 0 0 -1

N.S.

1 1.00 1.16 5.14 0.00 1.95 0.00 0.00 -0.00

time (sec)

N/A 0.740 7.972 0.177 0.000 1.024 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

289 289 382 1305 0 644 0 0 -1

N.S.

1 1.00 1.32 4.52 0.00 2.23 0.00 0.00 -0.00

time (sec)

N/A 0.516 5.603 0.243 0.000 0.889 0.000 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

214 214 330 997 0 585 0 0 -1

N.S.

1 1.00 1.54 4.66 0.00 2.73 0.00 0.00 -0.00

time (sec)

N/A 0.359 5.872 0.197 0.000 1.381 0.000 0.000 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 245 498 0 541 0 0 -1

N.S.

1 1.00 1.22 2.49 0.00 2.70 0.00 0.00 -0.00

time (sec)

N/A 0.329 5.101 0.189 0.000 1.049 0.000 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

126 126 260 491 0 500 0 0 -1

N.S.

1 1.00 2.06 3.90 0.00 3.97 0.00 0.00 -0.01

time (sec)

N/A 0.162 5.086 0.177 0.000 0.926 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

206 206 34326 1134 0 0 0 0 -1

N.S.

1 1.00 166.63 5.50 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.420 30.668 0.200 0.000 0.000 0.000 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

345 345 36944 1492 0 0 0 0 -1

N.S.

1 1.00 107.08 4.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.765 31.255 0.256 0.000 0.000 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

391 391 527 3604 0 971 0 0 -1

N.S.

1 1.00 1.35 9.22 0.00 2.48 0.00 0.00 -0.00

time (sec)

N/A 0.756 11.341 0.214 0.000 3.213 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

317 317 427 3101 0 884 0 0 -1

N.S.

1 1.00 1.35 9.78 0.00 2.79 0.00 0.00 -0.00

time (sec)

N/A 0.565 10.998 0.200 0.000 1.716 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

302 302 398 2062 0 835 0 0 -1

N.S.

1 1.00 1.32 6.83 0.00 2.76 0.00 0.00 -0.00

time (sec)

N/A 0.503 5.681 0.188 0.000 0.757 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

281 281 447 1812 0 782 0 0 -1

N.S.

1 1.00 1.59 6.45 0.00 2.78 0.00 0.00 -0.00

time (sec)

N/A 0.485 9.669 0.191 0.000 2.025 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

277 277 311 1333 0 709 0 0 -1

N.S.

1 1.00 1.12 4.81 0.00 2.56 0.00 0.00 -0.00

time (sec)

N/A 0.514 5.926 0.233 0.000 1.370 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

370 370 92128 3844 0 0 0 0 -1

N.S.

1 1.00 248.99 10.39 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.843 32.286 0.180 0.000 0.000 0.000 0.000 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 222 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.340 0.466 0.132 0.000 0.000 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 161 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.171 0.262 0.109 0.000 0.000 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 106 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.076 0.092 0.000 0.000 0.000 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

196 196 5216 0 0 0 0 0 -1

N.S.

1 1.00 26.61 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.268 24.510 0.078 0.000 0.000 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

309 309 13974 0 0 0 0 0 -1

N.S.

1 1.00 45.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.358 42.164 0.102 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]